theme: Worksace indicator height

- set the workspace indicator height to match the non-labeled osd panels
  such as volume or brightness

Fixes #7612

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3282>

diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
index f3e069f7876d252226f1cf1404ae89a75f85be94..da8d77fdebe89db07ad6b9101ba52106a78c3f86 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@@ -1,6 +1,6 @@
 /* Workspace Switcher */
 
-$ws_indicator_height: 48px;
+$ws_indicator_height: 32px;
 $ws_dot_active: $ws_indicator_height / 3;
 $ws_dot_inactive: $ws_indicator_height / 6;